単語帖 RFC，kerberes，3-LISP､項書換え系